Nuprl Definition : eq_id
0,22
postcript
pdf
a
=
b
== eqof(IdDeq)(
a
,
b
)
latex
Definitions
IdDeq
,
eqof(
d
)
FDL editor aliases
eq_id
origin